Pavithra Prabhakar
EMSOFT 2025: 25th International Conference on Embedded Software
Star-set based efficient reachable set computation of anytime sensing-based neural network-controlled dynamical systems
EMSOFT 2024: 24th International Conference on Embedded Software
Approximate Conformance Checking for Closed-Loop Systems with Neural Network Controllers
EMSOFT 2019: 19th International Conference on Embedded Software
Counterexample Guided Abstraction Refinement for Polyhedral Probabilistic Hybrid Systems
EMSOFT 2016: 16th International Conference on Embedded Software
An Algorithmic Approach to Global Asymptotic Stability Verification of Hybrid Systems
EMSOFT 2015: 15th International Conference on Embedded Software
Bounded Error Flowpipe Computation of Parameterized Linear Systems
EMSOFT 2013: 13th International Conference on Embedded Software
Pre-orders for Reasoning About Stability Properties with Respect to Input of Hybrid Systems